$\forall$$i$, $j$:$\mathbb{Z}$, $X$:(\{$i$..$j$$^{-}$\}$\rightarrow\mathbb{Z}$). $\Sigma$$i$ $\leq$ $x$ $<$ $j$. $X$($x$) $\in$ $\mathbb{Z}$